imin($a$;$b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $a$ $\leq$z $b$ then $a$ else $b$ fi